Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
291	Microsoft Word[removed]All 12.doc Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-05-11 17:43:54 Formal methods Theoretical computer science Handout Humanitarian aid First-order logic Programming language ALGOL 68 Predicate transformer semantics Parallel computing Computing Software engineering Computer programming
292	HALO: Haskell to Logic through Denotational Semantics As submitted to POPL’13, July 11, 2012 Dimitrios Vytiniotis Simon Peyton Jones Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-07-11 09:13:42 Logic in computer science Models of computation Model theory Formal methods Denotational semantics Combinatory logic First-order logic Interpretation Lambda calculus Mathematical logic Logic Mathematics
293	Towards a General Composition Semantics for Rule-Based Model Transformation Dennis Wagelaar1? , Massimo Tisi2 , Jordi Cabot2 , and Fr´ed´eric Jouault2 1 2 Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2011-07-18 06:30:13 Computing Formal languages Unified Modeling Language VIATRA Fold Cascading Style Sheets Graph rewriting Combinatorics Mathematics
294	Semantics and Syntax A Legacy of Alan Turing Scientific Report Arnold Beckmann (Swansea) S. Barry Cooper (Leeds) Benedikt L¨owe (Amsterdam) Elvira Mayordomo (Zaragoza) Add to Reading List Source URL: www.newton.ac.uk Language: English - Date: 2014-07-22 11:47:42 Theoretical computer science Probabilistic complexity theory Formal sciences Computational complexity theory Mathematical logic Computability theory Algorithm Alan Turing Randomized algorithm Mathematics Science Applied mathematics
295	7 Pattern Matcher Program file for this chapter: match Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2003-12-25 21:09:56 Software engineering Predicate logic Formal languages Pattern matching Predicate Logo Quantification AWK Semantics Logic Linguistics
296	Online Graph Planarisation for Synchronous Parsing of Semantic and Syntactic Dependencies Add to Reading List Source URL: ijcai.org Language: English - Date: 2009-06-22 08:18:25 Formal languages Parsing Dependency grammar Treebank Semantics Natural language processing Formal grammar Linguistics Computational linguistics Compiler construction
297	From: AAAI-86 Proceedings. Copyright ©1986, AAAI (www.aaai.org). All rights reserved. DYNAMICALLY COMBINING SYNTAX AND SEMANTICS Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-09 18:49:46 Compiler construction Parsing Formal languages Verb argument Phrase structure rules Parse tree Control Syntactic ambiguity Sentence processing Linguistics Grammar Syntax
298	Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming: Email alerts: Click here Subscriptions: Click here Commercial reprints: Click Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-03-29 19:34:46 Computer science Logic in computer science Programming language semantics Computability theory Formal methods Operational semantics Lambda calculus Denotational semantics Abstract interpretation Theoretical computer science Models of computation Applied mathematics
299	Analysis of authentication protocols Intership report St´ephane Glondu ENS de Cachan∗ September 3, 2006 Add to Reading List Source URL: stephane.glondu.net Language: English - Date: 2006-09-03 17:53:44 Formal languages Mathematical logic Cryptographic protocols Semantics Burrows–Abadi–Needham logic Interpretation First-order logic Constructible universe Ground expression Logic Mathematics Model theory
300	LGM Abstracts University of East Anglia June 3, 2014 Saturday, 7 June John Collins (University of East Anglia) Add to Reading List Source URL: www.confhub.net Language: English - Date: 2014-06-03 17:40:19 Semantics Philosophical logic Philosophy of language Meaning Logicians Modal logic Linguistic modality Formal semantics David Kaplan Logic Philosophy Analytic philosophy

UPDATE